package arlab.formulae

/**
 * Created by IntelliJ IDEA.
 * User: Eve
 * Date: 23.02.12
 * Time: 15:54
 * To change this template use File | Settings | File Templates.
 */

// Next time operator
case class Next(fm:Formula) extends Formula {

  override  def toString()={
      "X" + fm.toString()
  }

}
